Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
511	Artificial Intelligence–150 Local search characteristics of incomplete SAT procedures ✩ Dale Schuurmans ∗ , Finnegan Southey Department of Computer Science, University of Waterloo, Waterloo, ON N2L Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-06-24 17:14:13 Applied mathematics Mathematics Boolean satisfiability problem Local search Constraint satisfaction WalkSAT Theoretical computer science Constraint programming Logic in computer science
512	Converting MiniZinc to FlatZinc Nicholas Nethercote Version 0.9 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-12-23 00:30:53 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
513	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Consensus-based Distributed Optimal Power Flow Algorithm Add to Reading List Source URL: www.merl.com Language: English - Date: 2015-03-10 17:36:54 Mathematics Applied mathematics Electric power Power engineering Power flow study Mathematical optimization Constraint optimization Algorithm Linear programming Electromagnetism Electrical engineering Operations research
514	Journal of Artificial Intelligence Research234 Submitted 8/14; published 1/15 On the Subexponential-Time Complexity of CSP Ronald de Haan Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-01-30 21:27:29 Constraint programming Constraint satisfaction problem Constraint satisfaction Exponential time hypothesis Boolean satisfiability problem NP-complete Tree decomposition Conjunctive normal form Time complexity Theoretical computer science Applied mathematics Computational complexity theory
515	Journal of Artificial Intelligence Research257 Submitted 09/07; publishedLoosely Coupled Formulations for Automated Planning: An Integer Programming Perspective Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:20:43 Variables Elementary mathematics Combinatorial optimization Linear programming Automated planning and scheduling Constraint satisfaction Parallel computing Function Mathematics Mathematical optimization Operations research
516	Converting MiniZinc to FlatZinc Version 1.4 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
517	Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2 Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2011-10-12 05:34:03 Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Satisfiability Modulo Theories WalkSAT Resolution Local search Theoretical computer science Constraint programming Applied mathematics
518	SOFTWARE ENGINEERING FOR SEARCH AND OPTIMIZATION PROBLEMS Tutorial at ECAI-2014 August, 18th 2014 Add to Reading List Source URL: satt.diegm.uniud.it Language: English - Date: 2014-08-18 07:48:47 Software engineering Systems science Methodology Software development process Software developer Reliability engineering Application software SCIP Constraint programming Systems engineering Operations research Science
519	ORM 2 Constraint Verbalization: Part 1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2006-07-30 13:54:40 Data modeling Programming paradigms Abstraction Object-Role Modeling Predicate Modal logic Norm Finitary relation Logic Mathematical logic Mathematics
520	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming

UPDATE